Using MATLAB to create an Executable Specification for Hardware
نویسنده
چکیده
This article is the first in a three part series describing techniques and methods for using MATLAB as an executable specification for hardware development. MATLAB, the defacto industry standard for DSP algorithm development, includes abstractions such as complex numbers, matrix operations, built-in and toolbox libraries of DSP functions and waveform analysis that make this language highly useful for DSP algorithm development. These abstractions, however, create a significant gap between algorithmic description and the system hardware.
منابع مشابه
Laura: Leiden Architecture Research and Exploration Tool
At Leiden Embedded Research Center (LERC), we are building a tool chain called Compaan/Laura that allows us to map fast and efficiently applications written in Matlab onto reconfigurable platforms. In this chain, first the Matlab code is converted automatically to executable Kahn Process Network (KPN) specification. Then a tool called Laura accepts this specification and transforms the specific...
متن کاملTransformation of C code to Matlab / Simulink models
1.1. Motivation In the modern development process of automotive embedded software, the graphical executable specification is becoming to take the place of the textual specification and accepted by both the manufactures and suppliers. There are advantages such as easy understanding and communication, fast development with executable specification in modeling and simulation tools, and automatic c...
متن کاملSystem Design Visualizations for Synthesizing Intent Specifications
Today’s aerospace industry is faced not only with the challenges of developing spacecraft and supporting technologies to explore the unknown, but they must do so successfully with tighter budgets and fewer personnel. Mission failure causes publicity that the industry cannot afford in this economy. To maintain project schedules and prevent budget overruns, problems in the spacecraft system desig...
متن کاملObject-oriented Analysis and System Level Architecture
The growing complexity of hardware/software systems requires a system level specification and design approach. There are many practical problems in the application of object-oriented methods for this goal. Our aim is to explore the use of formal executable models on a system level as an approach for hardware/software co-specification. This paper reports experiences in developing executable spec...
متن کاملIntegrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models
Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. One significant use case for HLMs are virtual hardware prototypes used for driver development. However, current industry practice does not fully exploit HLMs by neglecting to use them as a common executable specification for the whole design process...
متن کامل